Concurrent algorithm - PDFSEARCH.IO - Document Search Engine

Concurrent algorithm
Results: 314

#	Item
181	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:18 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management
182	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-17 10:02:32 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
183	Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated Hagit Attiya Rachid Guerraoui Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:54 Computing Linearizability Mutual exclusion Algorithm Parallel computing Non-blocking algorithm Compare-and-swap Lock Function Concurrency control Mathematics Concurrency
184	Idempotent Work Stealing Maged M. Michael Martin T. Vechev Vijay A. Saraswat Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:56 Concurrency control Scheduling algorithms Computer programming Double-ended queue Non-blocking algorithm FIFO Algorithm Cilk Stack Computing Concurrent computing Abstract data types
185	NUMA-Aware Reader-Writer Locks Irina Calciu Dave Dice Yossi Lev Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2013-01-07 10:10:37 Concurrent computing Readers–writer lock Lock Non-blocking algorithm Linearizability Parallel computing Mutual exclusion Software transactional memory Deadlock Concurrency control Computing Concurrency
186	Scalable and Precise Dynamic Datarace Detection for Structured Parallelism Raghavan Raman Jisheng Zhao Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:34:31 Parallel computing Concurrency control Algorithm OpenMP Non-blocking algorithm Scheduling Deadlock Thread FastTrack Computing Concurrent computing Computer programming
187	Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Garbage collection Automatic memory management Reference counting Pointer Logarithm Algorithm Software engineering Memory management Mathematics Computing
188	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:33:51 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
189	An Adaptive Framework for Large-scale State Space Search Yanhua Sun, Gengbin Zheng, Pritish Jetley, Laxmikant V. Kal´e Department of Computer Science University of Illinois at Urbana-Champaign Urbana, IL 61801, USA {sun Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-05-01 22:30:33 Virtual Processor Speedup Multi-core processor Distributed computing Parallel algorithm Scheduling Binary tree Scalability A* search algorithm Concurrent computing Computing Parallel computing
190	August 1, [removed]:25 paper Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2011-08-01 14:25:30 Parallel computing Search algorithms Operations research A* search algorithm And–or tree Speedup Scheduling Algorithm Breadth-first search Computing Concurrent computing Mathematics

UPDATE